Synchronous and asynchronous experiments on processes
نویسندگان
چکیده
منابع مشابه
Low-Latency Synchronous Representations of Asynchronous Processes
We revisit a technique called round abstraction as a solution to the problem of building low-latency synchronous systems from asynchronous specifications. Although in general round abstraction is not compositional, we identify sufficient properties to guarantee correct composition, thereby proposing a framework for round abstraction that is totally correct when applied to asynchronous behaviour...
متن کاملSynchronous modeling and asynchronous deployment of mobile processes
We introduce the programming model consisting of pre-ordered transition systems (Spots) for modeling synchronous and asynchronous concurrent systems in the presence of mobility and of dynamicity. The model of Spots provides an operational and a denotational semantics to an expressive calculus of mobile processes. Encodings of related asynchronous, synchronous and functional calculi (Join, Fusio...
متن کاملOn Synchronous and Asynchronous Communication Paradigms
The π-calculus, its asynchronous version and Boudol’s mapping from the former language to the latter one are well-known mathematical objects in theoretical computer science. It is also well-known that the mapping is not fully-abstract w.r.t. most of the semantics defined over these two languages. In this paper we study and fix conditions on the existence of fully-abstract results for Boudol’s m...
متن کاملSynchronous vs Asynchronous search on DisCSPs
Distributed constraint satisfaction problems (DisCSPs) are composed of agents, each holding its variables, that are connected by constraints to variables of other agents. There are two known measures of performance for distributed search the computational effort which represents the total search time and the number of messages sent which represents the network load. Due to the distributed natur...
متن کاملSynchronous and Asynchronous Multimedia and Iranian EFL Learners’ Learning of Collocations
The use of effective multimedia instructions such as mobiles, computers, and the internet in language learning has turned out to be useful since the last decades. The impact of multimedia and synchronous approaches of computer-assisted language learning (CALL) on English as a foreign language (EFL) learners' learning of language skills and components has been studied to some extent. However, th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1983
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(83)80029-1